Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
641	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation
642	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:57 Mathematical logic Formal methods Logical syntax Logical truth ACL2 Automated theorem proving Mathematical proof Theorem Automated proof checking Logic Mathematics Lisp programming language
643	Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-01-11 17:53:38 Computer programming Loop invariant Termination analysis Invariant For loop Infinite loop Algorithm Software engineering Computing Control flow
644	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
645	Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt Add to Reading List Source URL: klabs.org Language: English - Date: 2009-01-16 16:45:26 Hardware description languages E SystemVerilog Functional verification Formal verification Verilog SystemC Integrated circuit design Verification and validation Electronic engineering Electronic design automation Hardware verification languages
646	Property Specification Language Reference Manual Version 1.01 April 25, 2003 Add to Reading List Source URL: www.eda.org Language: English - Date: 2003-04-25 10:33:06 Hardware verification languages Formal methods Technical communication Property Specification Language VHDL Accellera Verilog Formal verification Specification Electronic engineering Electronic design automation Hardware description languages
647	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
648	Report on DIMACS∗ Workshop on Security Analysis of Protocols Date of workshop: June 7 – 9, 2004 Workshop Organizers: John Mitchell, Stanford University Ran Canetti, IBM Watson Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2005-07-27 15:21:45 Dolev-Yao model Secure multi-party computation Cryptographic primitive Formal verification Communications protocol Transport Layer Security Authentication protocol Secure channel Random oracle Cryptography Cryptographic protocols Universal composability
649	AIan Goldhammer, PhD ASSOCIATE VICE PRESIDENT US REQULATORY AFFAIRS Dockets Management Branch Food and Drug Administration Add to Reading List Source URL: www.fda.gov Language: English - Date: 2002-08-08 09:45:20 Science Validity Software development Quality Formal methods Validation Verification and validation Title 21 CFR Part 11 Software development process Pharmaceutical industry Software testing Technology
650	Microsoft Word - V&V Structural Dynamics - flyer Add to Reading List Source URL: www.asmeconferences.org Language: English - Date: 2014-02-10 09:57:22 Formal methods Statistics Software quality Software testing Measurement Uncertainty analysis Computer simulation Verification and validation Sensitivity analysis Scientific modeling Science Knowledge

UPDATE